Hlavní stránka > Výsledky hledání: keywords:"VCSP"
Hledej:
Tipy pro vyhledávaní :: Rozšířené hledání
Hledej ve sbírkách:
Seřadit podle: Zobrazit výsledky: Výstupní formát:
Národní úložiště šedé literatury Nalezeno 2 záznamů.  Hledání trvalo 0.00 vteřin. 
Weighted Clones
 Gaysin, Azza ; Barto, Libor (vedoucí práce) ; Příhoda, Pavel (oponent)
Vážené klony Azza Gaysin 3. ledna 2018 Abstrakt V této práce kompletně popisujeme strukturu všech binárních částí vážených klonů nad booleovskými klony generovanými jednou z polosva- zových operací a jednou nebo dvěma konstantními operacemi. Rovněž po- skytujeme úplný popis všech atomických a maximálných vážených klonů nad těmito klony. Klíčová slova: Relační klony, Vážené klony, VCSP 1
Úplný záznam
Vážené klony
 Vančura, Jiří ; Barto, Libor (vedoucí práce) ; Příhoda, Pavel (oponent)
Známý problém splnitelnosti dané formule CSP je možné zobecnit na třídu optimalizačních problémů VCSP. V roce 2012 dokázali D. A. Cohen, M. C. Cooper, P. Creed, P. G. Jeavons a S. Živný, že stejnou roli jakou mají klony a relační klony pro CSP mají vážené klony a vážené relační klony pro VCSP. Samotná struktura vážených klonů ale zůstává neprozkoumaná a to i pro dvouprvkový obor hodnot. Tato práce podává detailnější důkaz výše zmíněného výsledku a dále zkoumá strukturu vážených klonů. Pro dvouprvkový obor hodnot uvádíme kompletní klasifikaci vážených klonů nad všemi sedmi minimálními klony. Powered by TCPDF (www.tcpdf.org)
Úplný záznam

Chcete být upozorněni, pokud se objeví nové záznamy odpovídající tomuto dotazu?
Přihlásit se k odběru RSS.
Digitální repozitář :: Hledej :: Nový záznam :: Personalizace :: Nápověda
Powered by Invenio v1.1.2
Spravuje admin.invenio@techlib.cz
Tato stránka je dostupná také v následujících jazycích:
Česky  English